Merge branch '1140-gtk_printer_get_hard_margins_for_paper_size-is-not-external' into...
authorEmmanuele Bassi <ebassi@gmail.com>
Wed, 4 Jul 2018 16:55:34 +0000 (16:55 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Wed, 4 Jul 2018 16:55:34 +0000 (16:55 +0000)
Resolve "gtk_printer_get_hard_margins_for_paper_size() is not external"

Closes #1140

See merge request GNOME/gtk!229


Trivial merge